Interpolation in 16-Valued Trilattice Logics
نویسندگان
چکیده
منابع مشابه
Interpolation and Three-valued Logics
We consider propositional logic. Three-valued logics are old: the first one is Lukasiewicz three valued logic from 1920 [8]. Gödel in [5] from 1932 studied a hierarchy of finite-valued logics, containing Gödel three-valued logic. Our main interest pays to Kleene three-valued logic [6]. Other threevalued logics will not be considered here. Let us agree that the three truth values are 0, 1 2 , 1 ...
متن کاملInterpolation in logics with constructors
We present a generic method for establishing the interpolation property by borrowing it across the logical systems from a base institution to prove it for its constructor-based variant. The framework used is that of the so-called institution theory invented by Goguen and Burstall which is a categorical-based formulation of the informal concept of logical system sufficiently abstract to capture ...
متن کاملCraig Interpolation in Displayable Logics
We give a general proof-theoretic method for proving Craig interpolation for displayable logics, based on an analysis of the individual proof rules of their display calculi. Using this uniform method, we prove interpolation for a spectrum of display calculi differing in their structural rules, including those for multiplicative linear logic, multiplicative additive linear logic and ordinary cla...
متن کاملOn Interpolation in Existence Logics
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system for it in Hilbert style. The logic seems particularly useful in settings where non constant domain Kripke models play a role. In this paper it is proved that these systems have interpolation and the Beth definability p...
متن کاملMany-Valued Logics
The paper considers the fundamental notions of manyvalued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon actual theoretical considerations about infinite v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2017
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-017-9742-z